Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое Objective Caml - определение
EXTENSION OF THE CAML PROGRAMMING LANGUAGE
Ocaml programming language; Ocaml Programming Language; O'Caml; O'caml; OCaml programming language; O'Caml programming language; O'Caml (programming language); OCaml (programming language); Ocaml; Objective Caml programming language; OCAML; O`Caml; Objective CAML; O’Caml; Objective Caml (programming language); MetaOCaml; Objective Caml; Objective caml; OCaml Package Manager; Ocamlyacc; Ocaml.org
Найдено результатов: 212
Objective CAML
<language> (Originally "CAML" - Categorical Abstract Machine
Language) A version of ML by G. Huet, G. Cousineau, Ascander
Suarez, Pierre Weis, Michel Mauny and others of INRIA. CAML
is intermediate between LCF ML and SML [in what sense? ].
It has first-class functions, static type inference with
polymorphic types, user-defined variant types and {product
types}, and pattern matching. It is built on a proprietary
run-time system.
The CAML V3.1 implementation added lazy and mutable data
structures, a "grammar" mechanism for interfacing with the
Yacc parser generator, pretty-printing tools,
high-performance arbitrary-precision arithmetic, and a
complete library.
in 1990 Xavier Leroy and Damien Doligez designed a new
implementation called CAML Light, freeing the previous
implementation from too many experimental high-level features,
and more importantly, from the old Le_Lisp back-end.
Following the addition of a native-code compiler and a
powerful module system in 1995 and of the object and
class layer in 1996, the project's name was changed to
Objective CAML. In 2000, Jacques Garrigue added labeled and
optional arguments and anonymous variants.
Objective CAML Home (http://ocaml.org/).
Usenet newsgroup: news:comp.lang.ml.
["The CAML Reference Manual", P. Weis et al, TR INRIA-ENS,
1989 ].
(2002-05-21)
object glass
![Keck 2 Telescope]]](https://commons.wikimedia.org/wiki/Special:FilePath/KeckObservatory20071013.jpg?width=200 "Keck 2 Telescope]]")
![Two Leica [[oil immersion]] microscope objective lenses; left 100×, right 40×.](https://commons.wikimedia.org/wiki/Special:FilePath/Leica EpifluorescenceMicroscope ObjectiveLens.jpg?width=200 "Two Leica [[oil immersion]] microscope objective lenses; left 100×, right 40×.")
![aperture]] 1:1.4](https://commons.wikimedia.org/wiki/Special:FilePath/Lens Canon EF 50mm f1.4.jpg?width=200 "aperture]] 1:1.4")
OPTICAL ELEMENT THAT GATHERS LIGHT FROM THE OBJECT BEING OBSERVED AND FOCUSES THE LIGHT RAYS TO PRODUCE A REAL IMAGE
Objective glass; Object glass; Object lens; Objective lens; Microscope objective lens; Microscope objective; Objective lenses; Object lenses; Object glasses; Objective glasses; Infinity correction; Infinity Correction; Objective (lens); Microscope Objective
¦ noun old-fashioned term for objective (in sense 2).
Categorical Abstract Machine Language
DIALECT OF THE ML PROGRAMMING LANGUAGE FAMILY
Caml Light; Categorical Abstract Machine Language; Catagorical Abstract Machine; CaML
<language> (Originally "CAML" - Categorical Abstract Machine
Language) A version of ML by G. Huet, G. Cousineau, Ascander
Suarez, Pierre Weis, Michel Mauny and others of INRIA and
ENS. CAML is intermediate between LCF ML and SML [in
what sense? ]. It has first-class functions, {static type
inference} with polymorphic types, user-defined {variant
types} and product types, and pattern matching. It is
built on a proprietary run-time system.
The CAML V3.1 implementation added lazy and mutable data
structures, a "grammar" mechanism for interfacing with the
Yacc parser generator, pretty-printing tools,
high-performance arbitrary-precision arithmetic, and a
complete library. CAML V3 is often nicknamed "heavy CAML",
because of its heavy memory and CPU requirements compared to
Caml Light.
in 1990 Xavier Leroy and Damien Doligez designed a new
implementation called Caml Light, freeing the previous
implementation from too many experimental high-level features,
and more importantly, from the old Le_Lisp back-end.
Following the addition of a native-code compiler and a
powerful module system in 1995 and of the object and
class layer in 1996, the project's name was changed to
Objective Caml.
["The CAML Reference Manual", P. Weis et al, TR INRIA-ENS,
1989 ].
(2003-04-12)
CAML
DIALECT OF THE ML PROGRAMMING LANGUAGE FAMILY
Caml Light; Categorical Abstract Machine Language; Catagorical Abstract Machine; CaML
<language>
1. A language for preparation of animated movies. 1976.
(1994-11-09)
2. Categorical Abstract Machine Language.
(2000-07-06)
Caml Light
DIALECT OF THE ML PROGRAMMING LANGUAGE FAMILY
Caml Light; Categorical Abstract Machine Language; Catagorical Abstract Machine; CaML
A small portable implementation of a version of CAML by
Xavier Leroy <Xavier.Leroy@inria.fr> and Damien Doligez of
INRIA. Caml Light uses a bytecode interpreter written in
C. It adds a Modula-2-like module system, {separate
compilation}, lazy streams for parsing and printing,
graphics primitives and an interface with C.
Version 0.6 runs on Unix, MS-DOS, Macintosh, Atari ST
and Amiga. It includes an interpreter, compiler,
Emacs mode, libraries, scanner generator, {parser
generator}, run-time support and an interactive development
environment.
The latest version, as of April 2003, is 0.75 and runs on
Unix, Macintosh and Windows.
The development of Caml Light has been stopped; current
development is on Objective Caml.
caml-light-eng.html">http://caml.inria.fr/distrib-caml-light-eng.html.
caml-light/">ftp://ftp.inria.fr/lang/caml-light/.
E-mail: <caml@inria.fr>.
Mailing list: <caml-list@inria.fr>.
Usenet newsgroup: news:comp.lang.ml.
(2003-04-12)
Subjective and objective standard of reasonableness
CRIMINAL LAW CONCEPTS
Objective standard; Objective standard of reasonableness; Subjective standard; Subjective standard of reasonableness; Objective and subjective standard of reasonableness; Subjective and objective standards of reasonableness; Objective test (law); Subjective and objective standard of reasonableness; Objectivity (law)
In United States criminal law, subjective standard and objective standard are legal standards for knowledge or beliefs of a defendant in a criminal law case.Quimbe Legal Definitions, "Subjective standard of reasonableness", Definition - A standard that assesses the reasonableness of a defendant’s actions based on what the defendant perceived.
Objectivity (philosophy)
CENTRAL PHILOSOPHICAL CONCEPT, RELATED TO REALITY AND TRUTH
Objective truth; Subjective analysis; Objective analysis; Objective reality; Objectivism (philosophy); Objective factors; Objective ethics; Objectivity in ethics
In philosophy, objectivity is the concept of truth independent from individual subjectivity (bias caused by one's perception, emotions, or imagination). A proposition is considered to have objective truth when its truth conditions are met without bias caused by the mind of a sentient being.
Objective test
OT
Objective Tests; Objective Test
Objective tests are measures in which responses maximize objectivity, in the sense that response options are structured such that examinees have only a limited set of options (e.g.
Multi-objective optimization
![Example of a [[Pareto frontier]] (in red), the set of Pareto optimal solutions (those that are not dominated by any other feasible solutions). The boxed points represent feasible choices, and smaller values are preferred to larger ones. Point ''C'' is not on the Pareto frontier because it is dominated by both point ''A'' and point ''B''. Points ''A'' and ''B'' are not strictly dominated by any other, and hence do lie on the frontier.](https://commons.wikimedia.org/wiki/Special:FilePath/Front pareto.svg?width=200 "Example of a [[Pareto frontier]] (in red), the set of Pareto optimal solutions (those that are not dominated by any other feasible solutions). The boxed points represent feasible choices, and smaller values are preferred to larger ones. Point ''C'' is not on the Pareto frontier because it is dominated by both point ''A'' and point ''B''. Points ''A'' and ''B'' are not strictly dominated by any other, and hence do lie on the frontier.")
AREA OF MULTIPLE CRITERIA DECISION MAKING, THAT IS CONCERNED WITH MATHEMATICAL OPTIMIZATION PROBLEMS INVOLVING MORE THAN ONE OBJECTIVE FUNCTION TO BE OPTIMIZED SIMULTANEOUSLY
Multiobjective problem; Multiobjective programming; Multiple objective optimization; Multiobjective optimisation; Multiobjective optimization; NSGA-II; Non-dominated Sorting Genetic Algorithm-II; Solutions of multi-objective optimization problems; Multivariate optimization; Multicriteria optimization; Bicriteria optimization; Pareto optimization
Multi-objective optimization (also known as multi-objective programming, vector optimization, multicriteria optimization, multiattribute optimization or Pareto optimization) is an area of multiple criteria decision making that is concerned with mathematical optimization problems involving more than one objective function to be optimized simultaneously. Multi-objective optimization has been applied in many fields of science, including engineering, economics and logistics where optimal decisions need to be taken in the presence of trade-offs between two or more conflicting objectives.
Objective C
GENERAL-PURPOSE, HIGH-LEVEL, OBJECT-ORIENTED PROGRAMMING LANGUAGE
Obj-C; Obj C; Obj-C programming language; Obj C programming language; ObjC; ObjC programming language; Objective C plus plus; Objective C; Objc; Objective-c; C and Smalltalk; Smalltalk and C; Object C; Object-C; Objective c; Obj-c; Objective C++; ObjectiveC; Objective-C (programming language); Objective-C++; Objective-C 2.0; Objective-C programming language; Objective C programming language; Objective-C categories
<language> An object-oriented superset of ANSI C by Brad
Cox, Productivity Products. Its additions to C are few and
are mostly based on Smalltalk. Objective C is implemented
as a preprocessor for C. Its syntax is a superset of
standard C syntax, and its compiler accepts both C and
Objective C source code (filename extension ".m").
It has no operator overloading, multiple inheritance, or
class variables. It does have dynamic binding. It is
used as the system programming language on the NeXT. As
implemented for NEXTSTEP, the Objective C language is fully
compatible with ANSI C.
Objective C can also be used as an extension to C++, which
lacks some of the possibilities for object-oriented design
that dynamic typing and dynamic binding bring to Objective
C. C++ also has features not found in Objective C.
Versions exist for MS-DOS, Macintosh, VAX/VMS and
Unix workstations. Language versions by Stepstone,
NeXT and GNU are slightly different.
There is a library of (GNU) Objective C objects by
R. Andrew McCallum <mccallum@cs.rochester.edu> with similar
functionality to Smalltalk's Collection objects. It
includes: Set, Bag, Array, LinkedList, LinkList,
CircularArray, Queue, Stack, Heap, SortedArray,
MappedCollector, GapArray and DelegateList. Version: Alpha
Release. ftp://iesd.auc.dk/pub/ObjC/.
See also: Objectionable-C.
["Object-Oriented Programming: An Evolutionary Approach", Brad
Cox, A-W 1986 ].
(1999-07-10)
Википедия
OCaml
OCaml ( oh-KAM-əl, formerly Objective Caml) is a general-purpose, high-level multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez, and others.
The OCaml toolchain includes an interactive top-level interpreter, a bytecode compiler, an optimizing native code compiler, a reversible debugger, and a package manager (OPAM). OCaml was initially developed in the context of automated theorem proving, and has an outsize presence in static analysis and formal methods software. Beyond these areas, it has found serious use in systems programming, web development, and financial engineering, among other application domains.
The acronym CAML originally stood for Categorical Abstract Machine Language, but OCaml omits this abstract machine. OCaml is a free and open-source software project managed and principally maintained by the French Institute for Research in Computer Science and Automation (Inria). In the early 2000s, elements from OCaml were adopted by many languages, notably F# and Scala.
